Sprite 1984 - 1993/Sprite 1984 - 1993.iso/lib/tex/inputs/ind.tex/internals.pl

Text File | 1991-05-20 | 3KB | 111 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.


$key = q/cite_aho:awkb/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_aurbach:idxtex/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_beach:index/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_bentley:index/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_brandin:war/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_chicago:style/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_frame:1.0/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_hutchins:dm/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_knuth:lp/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_knuth:pgm/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_knuth:tex/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_lamport:latex/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_mcmahon:sed/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ms:word/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ossanna:nroff/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_phc:aip/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_phc:int/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_reid:phd/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_seybold/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_shneiderman:dm/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_stallman:gnu/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_teitelman:cedar/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_traub:ibc/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ventura:1.1/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_xerox:star/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_yank:eb/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

1;